/*
 * kernel.h
 *
 *  Created on: 2016-10-24
 *      Author: m
 */
#ifndef SRC_INCLUDE_KERNEL_KERNEL_H_
#define SRC_INCLUDE_KERNEL_KERNEL_H_

extern void _start();
extern void restart();

extern void divide_error();
extern void single_step_exception();
extern void nmi();
extern void breakpoint_exception();
extern void overflow();
extern void bounds_check();
extern void inval_opcode();
extern void copr_not_available();
extern void double_fault();
extern void copr_seg_overrun();
extern void inval_tss();
extern void segment_not_present();
extern void stack_exception();
extern void general_protection();
extern void page_fault();
extern void copr_error();

extern void hwint00();
extern void hwint01();
extern void hwint02();
extern void hwint03();
extern void hwint04();
extern void hwint05();
extern void hwint06();
extern void hwint07();
extern void hwint08();
extern void hwint09();
extern void hwint0a();
extern void hwint0b();
extern void hwint0c();
extern void hwint0d();
extern void hwint0e();
extern void hwint0f();
extern void sys_call();
extern void restart();

#endif /* SRC_INCLUDE_KERNEL_KERNEL_H_ */
